翻訳と辞書 Words near each other ・ Semichi Islands ・ Semicircle ・ Semicircle law ・ Semicircle law (Quantum Hall) ・ Semicircular canal ・ Semicircular potential well ・ Semiclassical ・ Semiclassical gravity ・ Semiclassical physics ・ Semiclivina ・ Semicollared flycatcher ・ Semicollared hawk ・ Semicollared puffbird ・ Semicolon ・ Semicomma ・ Semicomputable function ・ Semiconductor ・ Semiconductor (artists) ・ Semiconductor (disambiguation) ・ Semiconductor Bloch equations ・ Semiconductor characterization techniques ・ Semiconductor Chip Protection Act of 1984 ・ Semiconductor consolidation ・ Semiconductor curve tracer ・ Semiconductor detector ・ Semiconductor device ・ Semiconductor device fabrication ・ Semiconductor device modeling ・ Semiconductor Equipment and Materials International ・ Semiconductor equipment sales leaders by year Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Semicomputable function ： ウィキペディア英語版 Semicomputable function In computability theory, a semicomputable function is a partial function $f\; :\; \backslash mathbb\; \backslash rightarrow\; \backslash mathbb$ that can be approximated either from above or from below by a computable function. More precisely a partial function $f\; :\; \backslash mathbb\; \backslash rightarrow\; \backslash mathbb$ is upper semicomputable, meaning it can be approximated from above, if there exists a computable function $\backslash phi(x,k)\; :\; \backslash mathbb\; \backslash times\; \backslash mathbb\; \backslash rightarrow\; \backslash mathbb$, where $x$ is the desired parameter for $f(x)$ and $k$ is the level of approximation, such that: * $\backslash lim\_\; \backslash phi(x,k)\; =\; f(x)$ * $\backslash forall\; k\; \backslash in\; \backslash mathbb\; :\; \backslash phi(x,k+1)\; \backslash leq\; \backslash phi(x,k)$ Completely analogous a partial function $f\; :\; \backslash mathbb\; \backslash rightarrow\; \backslash mathbb$ is lower semicomputable iff $-f(x)$ is upper semicomputable or equivalently if there exists a computable function $\backslash phi(x,k)$ such that * $\backslash lim\_\; \backslash phi(x,k)\; =\; f(x)$ * $\backslash forall\; k\; \backslash in\; \backslash mathbb\; :\; \backslash phi(x,k+1)\; \backslash geq\; \backslash phi(x,k)$ If a partial function is both upper and lower semicomputable it is called computable. ==See also== * computability theory 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Semicomputable function」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.